How to download... : hold the [shift] then click left mouse on the midi file,
on the popup window choose the directory you need, then click [save]
if you just want to listen to the file, click on it.